#include <cellcsp.h>
#include <string>
#include <stdio.h>
#include <csp_debug.h>




int main(){
	char *file = "tasks/dot_data_task";
	char *mnemonic = "dot_data_task";
	printf("Running %s..\n", file);


	CSPConfig conf;

	conf.add_csp_program(file, mnemonic);


	CellCSP_start(conf);

	
	CSPProcess init(mnemonic);
	init.Run();

	CellCSP_end();
	
	printf("Terminating %s.\n", file);
	return 0;
}
